Gorenstein代数上的Hopf代数作用

令H是有限维Hopf代数，A是左H-模代数。本文证明了A是Gorenstein代数的充分必要条件。A^H也是Gorenstein代数的条件。它是Enochs EE,GarciaJJ和del RioA关于群作用相应的理论的推广，同时给出A/A^H是Frobenius扩张的条件。     

Noetherian PI Hopf algebras are Gorenstein

We prove that every noetherian affine PI Hopf algebra has finite injective dimension, which answers a question of Brown (1998).

     

A BRANCH BOUND METHOD FOR SUBSET SUM PROBLEM

ＡＢＲＡＮＣＨＢＯＵＮＤＭＥＴＨＯＤＦＯＲＳＵＢＳＥＴＳＵＭＰＲＯＢＬＥＭＷＵＳＨＩＱＵＡＮ（吴士泉）（ＩｎｓｔｉｔｕｔｅｏｆＡｐｐｌｉｅｄＭａｔｈｅｍａｔｉｃｓ，ｔｈｅＣｈｉｎｅｓｅＡｃａｄｅｍｙｏｆＳｃｉｅｎｃｅｓ，Ｂｅｉｊｉｎｇ１０００８０，Ｃ...     

Remarks on a theorem of Taskinen on spaces of continuous functions

We clarify and prove in a simpler way a result of Taskinen about symmetric operators on C(Kⁿ), K an uncountable metrizable compact space. To do this we prove that, for any compact space K and any n ∈ ?, the symmetric injective n–tensor product of C(K), , is complemented in C(B_C(K)*), a result of independent interest. The techniques we develop allow us to extend the result in several directions. We also show that the hypothesis of metrizability and uncountability cannot be removed.     

Special simplices and Gorenstein toric rings

Athanasiadis [Ehrhart polynomials, simplicial polytopes, magic squares and a conjecture of Stanley, J. Reine Angew. Math., to appear.] studies an effective technique to show that Gorenstein sequences coming from compressed polytopes are unimodal. In the present paper we will use such the technique to find a rich class of Gorenstein toric rings with unimodal h-vectors arising from finite graphs.     

Gorenstein AC亏范畴*

作者定义了Gorenstein AC导出范畴 D^b_gac(R)并且和导出范畴作了一些比较.作者定义了Gorenstein AC奇点范畴 D^b_gacsg(R),在这个范畴中具有有限Gorenstein AC- 投射维数的模都是零对象.同时, 作者给出了由Gorenstein AC- 投射模构成的稳定范畴到奇点范畴的三角嵌入 F : GAC → D^b_sg(R) .通过作函子 F 的商引入Gorenstein AC亏范畴 D^b_gacd(R),并且给出三角等价 D^b_gacd(R) = D^b_gacsg(R)     

Whitehead test modules

A (right -) module is said to be a Whitehead test module for projectivity (shortly: a p-test module) provided for each module , implies is projective. Dually, i-test modules are defined. For example, is a p-test abelian group iff each Whitehead group is free. Our first main result says that if is a right hereditary non-right perfect ring, then the existence of p-test modules is independent of ZFC + GCH. On the other hand, for any ring , there is a proper class of i-test modules. Dually, there is a proper class of p-test modules over any right perfect ring.

A non-semisimple ring is said to be fully saturated (-saturated) provided that all non-projective (-generated non-projective) modules are i-test. We show that classification of saturated rings can be reduced to the indecomposable ones. Indecomposable 1-saturated rings fall into two classes: type I, where all simple modules are isomorphic, and type II, the others. Our second main result gives a complete characterization of rings of type II as certain generalized upper triangular matrix rings, . The four parameters involved here are skew-fields and , and natural numbers . For rings of type I, we have several partial results: e.g. using a generalization of Bongartz Lemma, we show that it is consistent that each fully saturated ring of type I is a full matrix ring over a local quasi-Frobenius ring. In several recent papers, our results have been applied to Tilting Theory and to the Theory of -modules.

     

Jordan operator algebras revisited

Jordan operator algebras are norm‐closed spaces of operators on a Hilbert space with for all . In two recent papers by the authors and Neal, a theory for these spaces was developed. It was shown there that much of the theory of associative operator algebras, in particular, surprisingly much of the associative theory from several recent papers of the first author and coauthors, generalizes to Jordan operator algebras. In the present paper we complete this task, giving several results which generalize the associative case in these papers, relating to unitizations, real positivity, hereditary subalgebras, and a couple of other topics. We also solve one of the three open problems stated at the end of our earlier joint paper on Jordan operator algebras.     

Gorenstein平坦模与Frobenius扩张

设R■A是环的Frobenius扩张,其中A是右凝聚环,M是任意左A-模.首先证明了_AM是Gorenstein平坦模当且仅当M作为左R-模也是Gorenstein平坦模.其次,证明了Nakayama和Tsuzuku关于平坦维数沿着Frobenius扩张的传递性定理的"Gorenstein版本":若_AM具有有限Gorenstein平坦维数,则Gfd_A(M)=Gfd_R(M).此外,证明了若R■S是可分Frobenius扩张,则任意A-模(不一定具有有限Gorenstein平坦维数),其Gorenstein平坦维数沿着该环扩张是不变的.